1

Analysing choice sequences

Year:
1983
Language:
english
File:
PDF, 3.15 MB
english, 1983
3

Realizability and intuitionistic logic

Year:
1984
Language:
english
File:
PDF, 1.32 MB
english, 1984
4

Choice sequences and informal rigour

Year:
1985
Language:
english
File:
PDF, 534 KB
english, 1985
5

Informal theory of choice sequences

Year:
1969
Language:
english
File:
PDF, 1.05 MB
english, 1969
7

Intutionism || Analysing Choice Sequences

Year:
1983
Language:
english
File:
PDF, 4.79 MB
english, 1983
13

Formal systems for some branches of intuitionistic analysis

Year:
1970
Language:
english
File:
PDF, 5.74 MB
english, 1970
14

Natural deduction for intuitionistic linear logic

Year:
1995
Language:
english
File:
PDF, 1.53 MB
english, 1995
24

An Extension of the Craig-Schütte Interpolation Theorem.by Takashi Nagashima

Year:
1968
Language:
english
File:
PDF, 325 KB
english, 1968
25

Intuitionistic Analysis and Gödel's Interpretation.by Mariko Yasugi

Year:
1972
Language:
english
File:
PDF, 134 KB
english, 1972
27

On Intermediate Logicsby Tsutomu Hosoi

Year:
1971
Language:
english
File:
PDF, 356 KB
english, 1971
31

Samle fersen

Year:
1982
Language:
english
File:
PDF, 398 KB
english, 1982
32

Informal Theory of Choice Sequences

Year:
1969
Language:
english
File:
PDF, 2.39 MB
english, 1969
36

Basic Proof Theory || Gentzen systems

Year:
2000
Language:
english
File:
PDF, 1.33 MB
english, 2000
37

Aan het werk met gezondheidsproblemen

Year:
2019
Language:
dutch
File:
PDF, 196 KB
dutch, 2019
44

Late Quaternary sedimentation in the Tyro and Kretheus basins, southeast of Crete

Year:
1987
Language:
english
File:
PDF, 1.08 MB
english, 1987
48

On the syntax of Martin-Löf's type theories

Year:
1987
Language:
english
File:
PDF, 2.58 MB
english, 1987
49

Some remarks on the complexity of Henkin-Kripke models

Year:
1978
Language:
english
File:
PDF, 401 KB
english, 1978
50

On Ashvinikumar's principle of microscopic completeness

Year:
1979
Language:
english
File:
PDF, 232 KB
english, 1979